Software agent

Results: 1391



#Item
831Philosophy / AgentSpeak / Norm / Belief–desire–intention model / Permission / Principle / Role / Belief–desire–intention software model / Multi-agent systems / Artificial intelligence / Computing

N-Jason: Run-Time Norm Compliance in AgentSpeak(L) JeeHang Lee1 , Julian Padget1 Brian Logan , Daniela Dybalova2 , and Natasha Alechina2 2

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2014-09-26 15:27:39
832Software engineering / 2APL / AgentSpeak / Prolog / Multi-agent systems / Computing / Artificial intelligence

An Operational Semantics for AgentSpeak(RT) Konstantin Vikhorev1 , Natasha Alechina1 , Rafael H. Bordini2 , and Brian Logan1 1 School of Computer Science University of Nottingham

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2012-06-25 10:33:42
833Software / Password / Mount Vernon Nazarene University / ResNet / Moodle / Message transfer agent / Internet privacy / Yahoo! Mail / Email / Computing / Computer-mediated communication

COMPUTER TECHNOLOGY Steve Doenges, Director of Information Technology Services, ext. 5501, [removed] Tim Myatt,Associate Director for Network Computing, ext. 5541, [removed] Rick Burke, Assistant Director f

Add to Reading List

Source URL: students.mvnu.edu

Language: English - Date: 2011-06-29 09:59:58
834Server hardware / Network management / System administration / VMware / Multi-agent systems / Data center / Uninterruptible power supply / Blade server / Server / Computing / System software / Concurrent computing

PowerChain Management solutions Intelligent Power Software Suite • Intelligent Power Manager for monitoring • Intelligent Power Protector for shutdown

Add to Reading List

Source URL: www.ups-online.com.ar

Language: English - Date: 2014-12-08 18:49:45
835Science / Intelligent agent / Software agent / Modal logic / Agent-based model / 3APL / 2APL / GOAL agent programming language / Multi-agent systems / Artificial intelligence / Computing

Formal Evaluation of Agent Architectures N. Alechina and B. S. Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2009-09-11 12:40:28
836Marketing / Business software / Travel technology / Travel / Travel agency / Incentive program / Internet booking engine / Travel website / Online hotel reservations / Airline tickets / Business / Electronic commerce

One Stop Travel Services. Anytime and Anywhere. #1 Online Travel Agent in Indonesia. company profile www.yuktravel.com

Add to Reading List

Source URL: www.yuktravel.com

Language: English - Date: 2015-01-07 21:22:26
837Artificial intelligence / User interface techniques / Visual effects / Virtual reality / Multi-agent systems / Agent-based model / NetLogo / Simulation / 3D modeling / Computing / Reality / 3D computer graphics

A Wireless Software Architecture for Fast 3D Rendering of Agent-Based Multimedia Simulations on Portable Devices S. Cacciaguerra, M. Roccetti, M. Roffilli A. Lomi

Add to Reading List

Source URL: www.cs.unibo.it

Language: English - Date: 2003-12-30 08:42:36
838Science / Software agent / FIPA / Intelligent agent / Agent-based model / Agent / Java Agent Development Framework / JACK Intelligent Agents / Multi-agent systems / Artificial intelligence / Computing

AgentLink Technology Conference: Agents for Commercial Applications Speakers from Lost Wax, HP Laboratories, Living Systems, Tryllian, Whitestein Technologies,

Add to Reading List

Source URL: www.agentlink.org

Language: English - Date: 2005-06-21 06:40:05
839Operations research / Science / Distributed computing architecture / Military technology / Military terminology / High-level architecture / Agent-based model / Composability / Simulation software / Computing / Modeling and simulation / Scientific modeling

04041 Abstracts Collection  Dagstuhl Seminar  Component-Based Modeling and Simulation Fernando J. Barros1 , Axel Lehmann2 , Peter Liggesmeyer3 , Alexander

Add to Reading List

Source URL: drops.dagstuhl.de

Language: English - Date: 2006-03-13 08:47:46
840Modal logic / Software engineering / Logic / Non-classical logic / Maude system

Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed]

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2010-09-15 07:35:36
UPDATE